261. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده: edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
262. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده: / Edited by Myungchul Kim ... [et al]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
263. Foundations of software science and computation structures :
پدیدآورنده: Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
264. Frontier computing :
پدیدآورنده: Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5
265. Frontiers of cyberlearning :
پدیدآورنده: J. Michael Spector [and eight others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer-assisted instruction.,Educational innovations.,Educational technology.,artificial intelligence,big data,cloud computing,Computer-assisted instruction.,distance learning,education,Educational innovations.,Educational technology.,higher education,information science,innovation,Internet,new educational methods,new technology,programmed learning,semantic web,social media
رده :
LB1027
.
F76
2018
266. Fundamental approaches to software engineering :
پدیدآورنده: Alessandra Russo, Andy Schürr (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.
رده :
QA76
.
758
.
F37
2018eb
267. Handbook of Conceptual Modeling :
پدیدآورنده: David W Embley
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Software engineering.
رده :
QA76
.
9
.
C65
D385
2011
268. Handbook of research on modern systems analysis and design technologies and applications /
پدیدآورنده: [edited by] Mahbubur Rahman Syed, Sharifun Nessa Syed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: System analysis, Handbooks, manuals, etc.,System design, Handbooks, manuals, etc.,COMPUTERS-- Software Development & Engineering-- Systems Analysis & Design.,System analysis.,System design.
رده :
T57
.
6
.
H3634
2009eb
269. Handbook of research on socio-technical design and social networking systems /
پدیدآورنده: Brian Whitworth, Aldo de Moor, [editors].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Information technology-- Social aspects.,Internet-- Social aspects.,Online social networks.,COMPUTERS-- Information Technology.,Information technology-- Social aspects.,Internet-- Social aspects.,Online social networks.
رده :
HM742
.
H37
2009eb
270. Hardware Description Languages and their Applications :
پدیدآورنده: edited by Carlos Delgado Kloos, Eduard Cerny.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Machinery.
271. Hardware Description Languages and their Applications :
پدیدآورنده: edited by Carlos Delgado Kloos, Eduard Cerny.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Machinery.
رده :
TK7888
.
3
E358
1997
272. Hardware/Software Co-Design
پدیدآورنده: edited by Giovanni Micheli, Mariagiovanna Sami.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Computer science.,Computer-aided design.,Software engineering.
273. High Performance Computing in Science and Engineering '99
پدیدآورنده: edited by Egon Krause, Willi Jäger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemistry.,Computer science-- Mathematics.,Computer simulation.,Engineering.,Mathematical physics.,Mathematics.,Physics.
274. High content screening :
پدیدآورنده: edited by D. Lansing Taylor, Jeffrey R. Haskins, Kenneth A. Giuliano.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Biological systems-- Research-- Methodology.,Computational biology.,Drug development-- Computer simulation.,Drug Design.,Image Processing, Computer-Assisted-- methods.,Systems Biology-- methods.,Computational biology.,MEDICAL-- Drug Guides.,MEDICAL-- Nursing-- Pharmacology.,MEDICAL-- Pharmacology.,MEDICAL-- Pharmacy.
رده :
QH324
.
H49
2007
275. High-level Petri Nets :
پدیدآورنده: edited by Kurt Jensen, Grzegorz Rozenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA267
.
E358
1991
276. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده: Louise Gerdes, book editor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
277. Human-Computer Interaction:
پدیدآورنده: edited by Kurosu, Masaaki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
278. Human-computer interaction :
پدیدآورنده: edited by Masaaki Kurosu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Human-computer interaction, Congresses.,Human-computer interaction.
رده :
QA76
.
9
.
H85
279. Hybrid parallel execution model for logic-based specification languages /
پدیدآورنده: Jeffrey J.P. Tsai, Bing Li.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer hardware description languages.,System design.,Computer hardware description languages.,COMPUTERS-- Computer Engineering.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Machine Theory.,System design.
رده :
TK7885
.
7
.
T73
2001eb
